1301. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرم‌افزار -- آزمایش -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
1302. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
1303. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
1304. Tests and proofs :
پدیدآورنده : Margus Veanes, Luca Viganò (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Génie logiciel.,Logiciels.
رده :
QA76
.
76
.
T48
M374
2013
1305. Tests and proofs
پدیدآورنده : Catherine Dubois (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Quality control, Congresses,Computer software-- Reliability, Congresses,Computer software-- Testing, Congresses
رده :
QA76
.
76
.
T48
T37
2009
1306. The Art of Multiprocessor Programming, Revised Reprint : Revised Reprint
پدیدآورنده : / Herlihy, Maurice
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
1307. The CUDA Handbook: A Comprehensive Guide to GPU Programming
پدیدآورنده : / Nicholas Wilt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1308. The Go Programming Language
پدیدآورنده : / Alan A. A. Donovan, Brian W. Kernighan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1309. The Go Programming Language Phrasebook
پدیدآورنده : / David Chisnall
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1310. The IOTA Programming System :
پدیدآورنده : edited by Reiji Nakajima, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science,Computer science.,Software engineering.
1311. The Linux programming interface: a Linux and UNIX system programming handbook
پدیدآورنده : / Michael Kerrisk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1312. The PHP Programming with MySQL: The Web Technology Series (The Web Technologies Series)
پدیدآورنده : / Don Gosselin, Diana Kokoska, Robert Easterbrooks
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1313. The Placenta and Human Developmental Programming
پدیدآورنده : / Burton et al
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1314. 2.0: The Pragmatic Programmers' Guide&Programming Ruby 1.9
پدیدآورنده : / Dave Thomas, Andy Hunt, Chad Fowler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1315. The Programmer's Guide to SQL
پدیدآورنده : by Cristian Darie, Karli Watson, Chris Hart, Kevin Hoffman, Julian Skinner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
1316. 4.0), The Programming Language (Covering C C
پدیدآورنده : / Anders Hejlsberg, Mads Torgersen, Scott Wiltamuth, Peter Golde
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1317. The Ruby Way Solutions and Techniques in Ruby Programming
پدیدآورنده : / Mark Bates
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1318. The Way To Go: A Thorough Introduction To The Go Programming Language
پدیدآورنده : / Ivo Balbaert
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1319. The beauty of functional code :
پدیدآورنده : Peter Achten, Pieter Koopman (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
1320. The complete idiot's guide to iPad & iPhone app development /
پدیدآورنده : Troy Brant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Application software-- Development.,iPad (Computer)-- Programming.,iPhone (Smartphone)-- Programming.,Application software-- Design.,Application software-- Development.,Computer Science.,COMPUTERS-- Programming-- Apple Programming.,Engineering & Applied Sciences.,iPad (Computer)-- Computer software.,iPhone (Smartphone)-- Computer software.
رده :
QA76
.
8
.
I863
B73
2010eb
